A Rust Shaped Hole
mnvr.in·15h·
Discuss: Hacker News
🦀Rust
Using AI to replicate human experimental results: a motion study
arxiv.org·23h
🛡️AI Safety
Principles for Picking Practical Interpretability Projects
lesswrong.com·9h
🔍AI Interpretability
Imperative vs declarative
github.com·3h·
Discuss: r/programming
👨‍💻Software development practices
Connecting legibility to theory building in programming
ashwinsundar.com·10h·
Discuss: Hacker News
🪄Prompt Engineering
The Pragmatic Programmer in 2025
moerner.com·2h
👨‍💻Software development practices
Why LangGraph overcomplicates AI agents (and my Go alternative)
reddit.com·14h·
Discuss: r/LocalLLaMA
🤖AI
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·12h·
Discuss: Hacker News
🪄Prompt Engineering
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·23h
🛡️AI Safety
A distributed systems reliability glossary
antithesis.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🛡️System Reliability
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·23h
🧠LLM Inference
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·11h
🔧Developer tools
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·12h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
Helix Editor Release 25.07 Highlights
helix-editor.com·8h·
Discuss: Lobsters, Hacker News, r/linux
✏️Code Editors
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·17h·
Discuss: r/programming
📘Typescript
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·23h
🛡️AI Safety
As chatbots improve, humans' unique language abilities are becoming less special
phys.org·12h
🎭Claude
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·23h
🏆LLM Benchmarking
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🧮SMT Solvers
Alignment
languagelog.ldc.upenn.edu·7h
🛡️AI Safety